Results for 'J. C. Chenoweth McKinsey'

934 found
Order:
  1.  47
    A note on Bronstein's and tarter's definition of strict implication.J. C. Chenoweth McKinsey - 1934 - Philosophical Review 43 (5):518-520.
  2.  22
    J. C. C. McKinsey. Boolean functions and points. Duke mathematical journal, vol. 2 (1936), pp. 465–471.J. C. C. Mckinsey - 1937 - Journal of Symbolic Logic 2 (1):41-41.
  3.  33
    On Closed Elements in Closure Algebras.J. C. C. Mckinsey & Alfred Tarski - 1946 - Annals of Mathematics, Ser. 2 47:122-162.
    Direct download  
     
    Export citation  
     
    Bookmark   45 citations  
  4.  80
    The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
    Direct download  
     
    Export citation  
     
    Bookmark   136 citations  
  5.  59
    (1 other version)On the syntactical construction of systems of modal logic.J. C. C. Mckinsey - 1945 - Journal of Symbolic Logic 10 (3):83-94.
  6.  43
    Proof of the independence of the primitive symbols of Heyting's calculus of propositions.J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (4):155-158.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  7.  30
    (1 other version)Wajsberg Mordchaj. Metalogiscke Beiträge II. Wiadomości matematyczne, vol. 47 , pp. 119–139.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (1):31-32.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  67
    (1 other version)On the number of complete extensions of the Lewis systems of sentential calculus.J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (2):42-45.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. (1 other version)Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.
  10.  16
    Construction of Systems of Modal Logic.J. C. C. McKinsey - 1949 - Proceedings of the Tenth International Congress of Philosophy 2:740-740.
  11.  22
    On the Representation of Projective Algebras.J. C. C. Mckinsey - 1948 - Journal of Symbolic Logic 13 (4):223-223.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  58
    Vredenduin P. G. J.. A system of strict implication.J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (3):124-124.
  13.  22
    Pólya G.. Sur les types des propositions composées.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (4):168-168.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14.  52
    Reviews. K. R. Popper. Logic without assumptions. Proceedings of the Aristotelian Society, n.s. vol. 47 , pp. 251–292.J. C. C. McKinsey - 1948 - Journal of Symbolic Logic 13 (2):114-115.
  15.  37
    Martin R. M.. On virtual classes and real numbers.J. C. C. McKinsey - 1951 - Journal of Symbolic Logic 16 (1):64-64.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  16.  29
    Kalicki J.. On the structure of bracket-free formulae. Norsk matematisk tidsskrift, vol. 32 , pp. 33–39.J. C. C. McKinsey - 1951 - Journal of Symbolic Logic 16 (2):151-151.
  17. (1 other version)Review: C. J. Everett, S. Ulam, Projective Algebra I. [REVIEW]J. C. C. McKinsey - 1946 - Journal of Symbolic Logic 11 (3):85-85.
  18.  6
    A Condition that a first Boolean Function Vanish wherever a Second does not.J. C. C. Mckinsey - 1938 - Journal of Symbolic Logic 3 (1):47-48.
  19.  60
    Fitch Frederic B.. Note on modal functions.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (1):31-31.
  20.  20
    Halldén Sören. On the decision-problem of Lewis' calculus S5. Norsk malematisk tidsskrift, vol. 31 , pp. 89–94.J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 15 (3):224-224.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21.  65
    (2 other versions)Curry H. B.. Remarks on the definition and nature of mathematics. Ditto, 6 pp.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (1):26-26.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  22.  60
    (1 other version)Postulates for the calculus of binary relations.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (3):85-97.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  57
    (1 other version)The decision problem for some classes of sentences without quantifiers.J. C. C. McKinsey - 1943 - Journal of Symbolic Logic 8 (2):61-76.
  24.  25
    Britton Karl. Structure of language and structure of fact. Psyche , vol. 17 , pp. 67–91.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (3):125-125.
  25.  32
    Goodman Nelson. Sequences.J. C. C. McKinsey - 1942 - Journal of Symbolic Logic 7 (3):120-120.
  26.  28
    On a redundancy in "principia mathematica".J. C. Cheroweth McKinsey - 1935 - Mind 44 (174):270-271.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  27.  33
    Ushenko A.. Undecidable statements and metalanguage. Mind, n.s. vol. 53 , pp. 258–262.J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (4):97-98.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  28.  70
    (1 other version)A solution of the decision problem for the Lewis systems s2 and s4, with an application to topology.J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):117-134.
  29.  35
    Ore Oystein. Theory of equivalence relations. Duke mathematical journal, vol. 9 , pp. 573–627.J. C. C. McKinsey - 1943 - Journal of Symbolic Logic 8 (2):55-56.
  30.  16
    (1 other version)Philosophy and the Axiomatic Foundations of Physics.J. C. C. McKinsey & Patrick Suppes - 1953 - Proceedings of the XIth International Congress of Philosophy 6:49-54.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  52
    Burks Arthur W. and Copi Irving M.. Lewis Carroll's barber shop paradox. Mind, n.s. vol. 59 , pp. 219–222.J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 15 (3):222-223.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  32
    Dotterer Ray H.. A generalization of the antilogism.J. C. C. McKinsey - 1942 - Journal of Symbolic Logic 7 (1):38-39.
  33.  42
    Duthie William D.. Boolean functions of bounded variation. Duke mathematical journal, vol. 4 , pp. 600–606.J. C. C. McKinsey - 1938 - Journal of Symbolic Logic 3 (4):164-165.
  34.  26
    Seventh meeting of the association for symbolic logic.J. C. C. Mckinsey - 1942 - Journal of Symbolic Logic 7 (1):47-48.
  35.  81
    Churchman C. West. Elements of logic and formal science. J. B. Lippincott Company, Chicago, Philadelphia, New York, 1940, ix + 337 pp. [REVIEW]J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):169-170.
  36. Axiomatic Foundations of Classical Particle Mechanics.J. C. C. Mckinsey, A. C. Sugar & Patrick Suppes - 1978 - Critica 10 (28):143-148.
  37.  45
    Johnson H. M.. Rival principles of causal explanation in psychology. The psychological review, vol. 46 , pp. 493–516.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (3):125-125.
  38.  55
    Proof that there are infinitely many modalities in Lewis's system S 2.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (3):110-112.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  15
    On the Independence of Hilbert and Ackermann's Postulates for the Calculus of Propositional Functions.J. C. C. Mckinsey - 1936 - Journal of Symbolic Logic 1 (2):64-65.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  9
    Reducible Boolean Functions.J. C. C. Mckinsey - 1936 - Journal of Symbolic Logic 1 (2):69-69.
  41.  30
    E. R. Stabler. Boolean representation theory. The American mathematical monthly, vol. 51 , pp. 129–132.J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (2):53-53.
  42.  25
    Bergmann Gustav. A syntactical characterization of S5.J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 14 (4):260-260.
  43.  36
    Wilder R. L.. The nature of mathematical proof. The American mathematical monthly, vol. 51 , pp. 309–323.J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (3):73-73.
  44.  42
    (1 other version)A New Definition of Truth.J. C. C. McKinsey - 1948 - Synthese 7 (6-A):428 - 433.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  45. (1 other version)On the notion of invariance in classical mechanics.J. C. C. Mckinsey & Patrick Suppes - 1955 - British Journal for the Philosophy of Science 5 (20):290-302.
  46.  10
    A Note on Reichenbach's Axioms for Probability Implication.J. C. C. Mckinsey - 1940 - Journal of Symbolic Logic 5 (1):42-42.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  42
    (1 other version)Systems of modal logic which are not unreasonable in the sense of halldén.J. C. C. McKinsey - 1953 - Journal of Symbolic Logic 18 (2):109-113.
  48.  85
    Review: R. M. Hare, Imperative Sentences. [REVIEW]J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 15 (2):145-145.
  49.  49
    Blake Archie. Canonical expressions in Boolean algebra. Dissertation Chicago 1937. Lithographed. The University of Chicago Libraries, Chicago 1938, ii + 60 pp. [REVIEW]J. C. C. McKinsey - 1938 - Journal of Symbolic Logic 3 (2):93-93.
  50.  36
    Foster Alfred L. and Bernstein B. A.. Symmetric approach to commutative rings, with duality theorem: Boolean duality as a special case. Duke mathematical journal, vol. 11 , pp. 603–616. [REVIEW]J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (4):97-97.
1 — 50 / 934